Skip to content

docs: consolidate docs to Provably website and cleanup#74

Merged
SimoneBottoni merged 19 commits into
mainfrom
docs/update
Jul 15, 2026
Merged

docs: consolidate docs to Provably website and cleanup#74
SimoneBottoni merged 19 commits into
mainfrom
docs/update

Conversation

@SimoneBottoni

@SimoneBottoni SimoneBottoni commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

This PR transitions our docs to a single official source hosted on the Provably website, backed by a new sync workflow. It also removes legacy Sphinx dependencies, adds an end-to-end SDK walkthrough, and cleans up site-wide navigation.

Key Changes

Documentation

  • Provably Sync: Moved docs to the official Provably website and set up the automated sync workflow
  • Sphinx Removal: Dropped Sphinx build steps, artifacts, and dev dependencies
  • Cleanup: Fixed broken links, polished page formatting, and updated navigation

@SimoneBottoni
SimoneBottoni merged commit be18825 into main Jul 15, 2026
3 checks passed
@SimoneBottoni
SimoneBottoni deleted the docs/update branch July 17, 2026 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant